Logical reasoning

Results: 409



#Item
211Reasoning / Logical consequence / Arguments for the existence of God / Philosophy of science / Theology / Inference / Existence of God / Problem of induction / Abductive reasoning / Philosophy / Logic / Science

The British Journal for the Philosophy of Science Advance Access published March 25, 2009 Brit. J. Phil. Sci[removed]), 1–5 REVIEW

Add to Reading List

Source URL: www.bristol.ac.uk

Language: English - Date: 2010-03-22 10:25:42
212Logical consequence / Non-classical logic / Arguments / Entailment / Norm / Reason / Paraconsistent logic / Is–ought problem / Modal logic / Logic / Reasoning / Philosophical logic

In What Sense (If Any) Is Logic Normative for Thought? John MacFarlane Draft of April 21, 2004 For presentation at the Central Division APA 2004

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2014-08-16 20:27:38
213Conditionals / Reasoning / Logical consequence / Cognitive psychology / Thought / Counterfactual conditional / Mental model / Causality / Reason / Logic / Science / Ethology

doi:[removed]j.tics[removed]

Add to Reading List

Source URL: www.generativescience.org

Language: English - Date: 2014-11-30 01:02:06
214Reasoning / Philosophical logic / Deduction / Logical consequence / Thought / Inference / Entailment / Mental model / Argument / Logic / Science / Philosophy

Croatian Journal of Philosophy Vol. VI, No. 17, 2006 Logic, Reasoning and the Logical Constants PASCAL ENGEL

Add to Reading List

Source URL: www.unige.ch

Language: English - Date: 2008-03-02 08:16:13
215Logical truth / Reasoning / Automated theorem proving / Logic programming / Substitution / Inference / Logic / Mathematical logic / Propositional calculus

Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-01-13 12:43:20
216Belief / Philosophy of life / Reasoning / Social philosophy / Rational emotive behavior therapy / David Hume / Reason / Ethics / Existentialism / Philosophy / Mind / Philosophical movements

Philosophical Practice, November 2011, 6.3: [removed]The Logic of Logical Disputation in REBT GEORGE HOLE BUFFALO STATE COLLEGE (SUNY) Abstract In Albert Ellis’ model of REBT empirical and pragmatic disputation are relat

Add to Reading List

Source URL: www.appa.edu

Language: English - Date: 2011-12-11 18:49:34
217Mathematics / Artificial intelligence / Logic in computer science / Deduction / Reasoning / Reasoning system / Fluent / Magni / Frame problem / Automated theorem proving / Science / Logic

Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed]

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-23 11:35:13
218Model theory / Reasoning / Logical truth / Epistemic modal logic / Substitution / Inference / Well-formed formula / Interpretation / Constructible universe / Logic / Formal languages / Modal logic

Verifying space and time requirements for resource-bounded agents Natasha Alechina Piergiorgio Bertoli

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-04-01 06:48:09
219Formal languages / Model theory / Deduction / Well-formed formula / Entailment / Function / Epistemic modal logic / Linear temporal logic / Natural deduction / Logic / Metalogic / Logical syntax

Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2004-07-06 11:08:16
220Deduction / Propositional calculus / Mathematical logic / Artificial intelligence / Logical syntax / Epistemic modal logic / Reasoning system / Entailment / Formula / Logic / Science / Mathematics

Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-04-08 05:17:39
UPDATE